59.52/86.90	unsat
