14.77/15.69	unsat
