664.39/666.06	unsat
