7.98/8.06	unsat
