24.37/25.26	unsat
