48.30/53.35	unsat
