55.30/58.82	unsat
