59.49/59.51	unsat
