47.31/48.20	unsat
