40.31/42.85	unsat
