13.97/14.06	unsat
