14.66/17.83	unsat
