13.36/14.06	unsat
