40.82/42.57	unsat
