10.81/11.06	unsat
