48.57/50.31	unsat
