8.00/8.06	unsat
