21.63/23.43	unsat
