6.99/7.06	unsat
