49.61/55.26	unsat
