16.87/17.75	unsat
