45.20/48.20	unsat
