24.15/24.29	unsat
