51.00/52.10	unsat
