64.92/66.65	unsat
