36.82/40.31	unsat
