38.03/40.25	unsat
