10.96/11.06	unsat
