59.12/59.20	unsat
