17.57/17.80	unsat
