40.70/42.58	unsat
