13.47/14.69	unsat
