7.97/8.06	unsat
