44.95/48.44	unsat
