6.49/8.06	unsat
