64.09/64.26	unsat
