21.75/21.83	unsat
