16.85/17.72	unsat
