43.82/45.85	unsat
