48.66/48.88	unsat
