52.67/56.74	unsat
