59.22/61.87	unsat
