21.71/21.80	unsat
