5.97/9.06	unsat
