21.35/24.46	unsat
