24.33/25.09	unsat
