6.59/9.06	unsat
