16.97/18.26	unsat
