59.64/59.80	unsat
