16.85/17.23	unsat
