11.97/14.69	unsat
