17.76/17.80	unsat
