44.68/45.62	unsat
