17.76/20.80	unsat
