64.66/66.29	unsat
