14.96/17.83	unsat
