21.68/21.80	unsat
