24.64/25.52	unsat
