45.32/49.28	unsat
