38.10/40.74	unsat
