52.88/55.93	unsat
