13.55/14.06	unsat
