10.66/11.06	unsat
