62.11/66.50	unsat
