42.40/45.07	unsat
