24.97/25.40	unsat
