59.13/59.66	unsat
