64.29/66.00	unsat
