24.33/24.47	unsat
