16.37/17.69	unsat
