problem	result	overall_time
unbd-sage1	sat	1632.780032
unbd-sage14	sat	106.87
unbd-sage16	sat	503.969984
unbd-sage18	sat	406.56
unbd-sage22	sat	130.22
unbd-sage3	sat	55.98
unbd-sage4	sat	38.8