38.90/42.57	unsat
