24.72/25.29	unsat
