44.06/48.11	unsat
