21.75/23.83	unsat
