62.78/66.34	unsat
