16.57/17.10	unsat
