51.30/53.81	unsat
