44.90/45.02	unsat
