58.31/59.55	unsat
