55.66/55.88	unsat
