5.97/7.06	unsat
