24.08/24.28	unsat
