42.86/45.78	unsat
