13.78/14.69	unsat
