58.53/59.77	unsat
