58.94/59.12	unsat
