37.47/39.16	unsat
