53.47/53.67	unsat
