13.35/14.69	unsat
