667.69/669.06	unsat
