38.74/40.12	unsat
