21.35/24.79	unsat
