47.35/48.31	unsat
