7.96/8.06	unsat
