6.76/11.06	unsat
