17.74/17.80	unsat
