59.50/59.73	unsat
