44.59/45.08	unsat
