13.97/15.69	unsat
