36.62/42.81	unsat
