13.68/14.06	unsat
