38.07/40.55	unsat
