51.99/52.11	unsat
