24.25/24.37	unsat
