51.53/52.02	unsat
