44.90/45.17	unsat
