44.05/48.41	unsat
