21.84/23.83	unsat
