52.87/55.88	unsat
