40.71/40.88	unsat
