64.80/66.30	unsat
