22.25/24.87	unsat
