58.12/59.66	unsat
