38.67/40.71	unsat
