21.63/24.63	unsat
