32.61/39.74	unsat
