16.75/17.63	unsat
