55.04/58.82	unsat
