58.96/59.18	unsat
