64.27/66.80	unsat
