51.97/52.11	unsat
