14.73/17.83	unsat
