55.82/58.01	unsat
