22.64/24.68	unsat
